| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| About.dtd | Text File | 15 | 772 b | 2009-11-13 |
| description.properties | Text File | 2 | 115 b | 2009-11-13 |
| Option.properties | Text File | 23 | 1007 b | 2009-11-13 |
| Options.dtd | Text File | 58 | 3.6 KB | 2009-11-13 |
| Statusbar.dtd | Text File | 40 | 2.3 KB | 2009-11-13 |
| Statusbar.properties | Text File | 18 | 654 b | 2009-11-13 |